Closure of PDA